formal language processing

un. 形式语言加工